数学的ソフトウェアを考える③ 代数方程式